o que diminui muco cervical